deterministic finite automats (dfa)